Chagrov & Zakharyashev, Theorem 3.51